Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·3d·
Discuss: Hacker News
💧Liquid Types
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
What's up with the inconsistencies on the stdlib?
reddit.com·5h·
Discuss: r/golang
🐚Bash FP
Cactus Language • Stylistics 4
inquiryintoinquiry.com·10h
🌳Context free grammars
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Helix Editor Release 25.07 Highlights
helix-editor.com·7h·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Do We Really Need Lisp Machines?
irreal.org·1d
🤖Lisp Machines
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Inheritance over composition, sometimes
death.andgravity.com·19h
🦀Rust Macros
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·2d·
Discuss: Hacker News
🔗Functional Compilers
Students, here are 5 key things to know when learning how to train large language models
techradar.com·8h
💻Local LLMs
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·11h
🦀Rust Verification
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·11h·
Discuss: Hacker News, r/programming
🔒Type Safety
Python Fundamentals: build
dev.to·13h·
Discuss: DEV
🔄Reproducible Builds
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·10h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs